Observable Behaviors and Equivalences of Logic Programs
نویسندگان
چکیده
منابع مشابه
Observable Behaviors and Equivalences ofLogic
We rst introduce a general semantic scheme for logic programs which provides a uniform framework for deening diierent compositional semantics parametrically wrt a given notion of observability. The equivalence of the operational (top-down) and xpoint (bottom-up) construction of the semantics is ensured by the scheme (provided a congruence property is veriied). We then deene several observationa...
متن کاملEquivalences on Observable Processes
The aim of this paper is to find the finest ‘observable’ and ‘implementable’ equivalence on concurrent processes. This is a part of a larger programme to develop a theory of observable processes where semantics of processes are based on locally and finitely observable process behaviour, and all process constructs are allowed, provided their operational meaning is defined by realistically implem...
متن کاملObservational Equivalences for Logic Programs 1
We rst introduce a general semantic scheme for logic programs which provides a uniform framework for deening diierent compositional semantics parametrically wrt a given notion of observable. The equivalence of the operational (top-down) and xpoint (bottom-up) costruction of the semantics is ensured by the scheme (provided a congruence property is veriied). We then deene several observational eq...
متن کاملObservable Semantics for Constraint Logic Programs
versions of the immediate consequence operators that we will introduce canbe used for bottom-up abstract interpretation (i.e. xpoint computation of the ab-stract model). Abstract interpretation of CLP programs has been considered in adenotational semantics framework in [38], while we can generalize the bottom-up ap-proach in [3]. More interestingly, the compositional semantics c...
متن کاملAsymmetric Equivalences in Fuzzy Logic
We introduce a new class of operations called asymmetric equivalences. Several properties of asymmetric equivalence operations have been investigated. Based on the asymmetric equivalence, quasi-metric spaces are constructed on [0, 1]. Finally, we discuss symmetrization of asymmetric equivalences.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1138